Matching Logic Prototype v0.1
  featuring the KernelC language

MatchC

If you receive any errors or get stuck on any part, please contact fsl@cs.uiuc.edu.  This address will send a mail to the entire FSL team and somebody will handle your problem.  Feedback is welcome!

Additionally, you can simply create an account at https://fsl.cs.uiuc.edu/bugzilla/ and file a bug report.  The relevant people will be cc'ed.

There are a number of steps you need to go through to set up your environment for running MatchC.

Installation Overview:
1) Install Maude

Details:
1) Install Maude
	a) Download Maude from http://maude.cs.uiuc.edu/download/ .  A binary installation is fine.  A windows version is available from "http://moment.dsic.upv.es/component/option,com_docman/task,cat_view/gid,18/Itemid,41/" 


Instructions for Running:

2) You can now run MatchIMP.  
	a) run 'maude ML-Prototype-0.1.maude'
	b) This will run the Schorr-Waite proof by default.  Examine the lower half of the ML-Prototype-0.1.maude file to change which tests are run.
	d) All the programs are located within the .maude file itself.